2 1 Ja n 20 05 GENERALISED SIFTING IN BLACK - BOX GROUPS
نویسندگان
چکیده
We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a subgroup chain. Two general versions of the procedure are worked out in detail, and applications are given for membership tests for several of the sporadic simple groups. Our major objective was that the procedures could be proved to be Monte Carlo algorithms, and their costs computed. In addition we explicitly determined suitable subset chains for six of the sporadic groups, and we implemented the algorithms involving these chains in the GAP computational algebra system. It turns out that sample implementations perform well in practice. The implementations will be made available publicly in the form of a GAP package.
منابع مشابه
ar X iv : m at h / 05 01 34 6 v 3 [ m at h . G R ] 3 N ov 2 00 5 GENERALISED SIFTING IN BLACK - BOX GROUPS
We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a...
متن کاملJ un 2 00 5 GENERALISED SIFTING IN BLACK - BOX GROUPS
We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a...
متن کامل- qc / 0 41 21 17 v 3 1 2 Ja n 20 05 A quantum mass - spectrum of Kerr black hole : superstrings
Using thermal quantization of geodesics confined under horizons and reasonable conjecture on massless modes, we evaluate quantum spectrum of Kerr black hole masses compatible with superstring symmetries.
متن کاملar X iv : h ep - t h / 05 10 05 6 v 2 1 3 Ja n 20 06 Confined Phase In Real Time Formalism And The Fate Of The World Behind The Horizon
In the real time formulation of finite temperature field theories, one introduces an additional set of fields (type-2 fields) associated to each field in the original theory (type-1 field). In [1], in the context of the AdS-CFT correspondence, Maldacena interpreted type-2 fields as living on a boundary behind the black hole horizon. However, below the Hawking-Page transition temperature, the th...
متن کامل